Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Libro |
Desenvolvimento sistemático de programas corretos: a abordagem denotacional | Martins, Raul César Baptista |
1a ed.
(1988) |
---------- |